Declarative Layer Composition with The JCop Programming Language.
نویسندگان
چکیده
منابع مشابه
Declarative Layer Composition with The JCop Programming Language
Program behavior that relies on contextual information, such as physical location or network accessibility, is common in today’s applications, yet its representation at the source code level is not sufficiently supported by programming languages. With context-oriented programming (COP), context-dependent behavior can be explicitly modularized and dynamically activated. The available COP impleme...
متن کاملDeclarative Programming with Temporal Constraints, in the Language CG
Specifying and interpreting temporal constraints are key elements of knowledge representation and reasoning, with applications in temporal databases, agent programming, and ambient intelligence. We present and formally characterize the language CG, which tackles this issue. In CG, users are able to develop time-dependent programs, in a flexible and straightforward manner. Such programs can, in ...
متن کاملDebugging for a Declarative Programming Language
This paper investigates debugging in declarative programming languages, concentrating specifically on the integrated functional and logic programming language Escher. The Escher language has types and modules, higher-order and meta-programming facilities, and declarative input/output. It also has a collection of system modules, providing numerous operations on standard data types such as intege...
متن کاملA Declarative Language for Parallel Programming
The use of logic as a programming tool has achieved a significant impact in software engineering, especially in the early stages of the software development process to support fast prototyping and early verification of costumers requirements. Logic programming languages allow the programmer to encode the costumer needs into logic programs which intuitively (declaratively) represent the requirem...
متن کاملA Language for Declarative Robotic Programming
We have applied methodologies developed for domain-speciic embedded languages to create a high-level robot control language called Frob, for Functional Robotics. Frob supports a programming style that cleanly separates the what from the how of a robotic control program. That is, the what is a simple, easily understood deenition of the control strategy using groups of equations and primitives wh...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Object Technology
سال: 2013
ISSN: 1660-1769
DOI: 10.5381/jot.2013.12.2.a4